[INFO] fetching crate libpetri-verification 1.4.0...
[INFO] testing libpetri-verification-1.4.0 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate libpetri-verification 1.4.0 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate libpetri-verification 1.4.0
[INFO] finished tweaking crates.io crate libpetri-verification 1.4.0
[INFO] tweaked toml for crates.io crate libpetri-verification 1.4.0 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate libpetri-verification 1.4.0 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate libpetri-verification 1.4.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded libpetri-docgen v1.4.0
[INFO] [stderr]   Downloaded libpetri-core v1.4.0
[INFO] [stderr]   Downloaded libpetri-export v1.4.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 13b2dc9efd6232151c5570e95448cbc9ff54a8c2a484a52e2d13535c1be7c063
[INFO] running `Command { std: "docker" "start" "-a" "13b2dc9efd6232151c5570e95448cbc9ff54a8c2a484a52e2d13535c1be7c063", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "13b2dc9efd6232151c5570e95448cbc9ff54a8c2a484a52e2d13535c1be7c063", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "13b2dc9efd6232151c5570e95448cbc9ff54a8c2a484a52e2d13535c1be7c063", kill_on_drop: false }`
[INFO] [stdout] 13b2dc9efd6232151c5570e95448cbc9ff54a8c2a484a52e2d13535c1be7c063
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e51f735a7d4045d302b0d002bb2ef9ee90cc48d62c5b5b6480e9b26ba88f65f1
[INFO] running `Command { std: "docker" "start" "-a" "e51f735a7d4045d302b0d002bb2ef9ee90cc48d62c5b5b6480e9b26ba88f65f1", kill_on_drop: false }`
[INFO] [stderr]    Compiling libpetri-core v1.4.0
[INFO] [stderr]    Compiling libpetri-export v1.4.0
[INFO] [stderr]    Compiling libpetri-docgen v1.4.0
[INFO] [stderr]    Compiling libpetri-verification v1.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.03s
[INFO] running `Command { std: "docker" "inspect" "e51f735a7d4045d302b0d002bb2ef9ee90cc48d62c5b5b6480e9b26ba88f65f1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e51f735a7d4045d302b0d002bb2ef9ee90cc48d62c5b5b6480e9b26ba88f65f1", kill_on_drop: false }`
[INFO] [stdout] e51f735a7d4045d302b0d002bb2ef9ee90cc48d62c5b5b6480e9b26ba88f65f1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 19ef2d3ce7c7ccce66be1b8efcec44d379610ab6cbc469bf4f2ca3720080aa94
[INFO] running `Command { std: "docker" "start" "-a" "19ef2d3ce7c7ccce66be1b8efcec44d379610ab6cbc469bf4f2ca3720080aa94", kill_on_drop: false }`
[INFO] [stderr]    Compiling libpetri-verification v1.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.87s
[INFO] running `Command { std: "docker" "inspect" "19ef2d3ce7c7ccce66be1b8efcec44d379610ab6cbc469bf4f2ca3720080aa94", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "19ef2d3ce7c7ccce66be1b8efcec44d379610ab6cbc469bf4f2ca3720080aa94", kill_on_drop: false }`
[INFO] [stdout] 19ef2d3ce7c7ccce66be1b8efcec44d379610ab6cbc469bf4f2ca3720080aa94
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] a12b7aa18f6ac4f14f2dd196f897ff52df3557be2451414126c74b2c6dcd3ede
[INFO] running `Command { std: "docker" "start" "-a" "a12b7aa18f6ac4f14f2dd196f897ff52df3557be2451414126c74b2c6dcd3ede", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/libpetri_verification-bc6a10cf4be98fae)
[INFO] [stdout] 
[INFO] [stdout] running 79 tests
[INFO] [stdout] test analyzer::tests::goal_liveness_circular_net ... ok
[INFO] [stdout] test analyzer::tests::ignore_env_treats_as_regular ... ok
[INFO] [stdout] test analyzer::tests::l4_violation_dead_end ... ok
[INFO] [stdout] test analyzer::tests::always_available_env_enables_transitions ... ok
[INFO] [stdout] test analyzer::tests::xor_branch_analysis ... ok
[INFO] [stdout] test analyzer::tests::goal_liveness_violation_dead_end ... ok
[INFO] [stdout] test counterexample::tests::empty_trace ... ok
[INFO] [stdout] test dbm::tests::dbm_create_with_bounds ... ok
[INFO] [stdout] test dbm::tests::dbm_empty_dbm ... ok
[INFO] [stdout] test analyzer::tests::l4_liveness_circular_net ... ok
[INFO] [stdout] test analyzer::tests::no_xor_report ... ok
[INFO] [stdout] test dbm::tests::dbm_bounds ... ok
[INFO] [stdout] test analyzer::tests::xor_report_generation ... ok
[INFO] [stdout] test analyzer::tests::bounded_env_limits_tokens ... ok
[INFO] [stdout] test dbm::tests::dbm_empty_equality ... ok
[INFO] [stdout] test dbm::tests::dbm_empty ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_persistent_bounds_adjusted ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_transition ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_replaces_fired_clock ... ok
[INFO] [stdout] test dbm::tests::dbm_infeasible_constraints_produce_empty ... ok
[INFO] [stdout] test dbm::tests::dbm_let_time_pass_preserves_upper ... ok
[INFO] [stdout] test analyzer::tests::comprehensive_report ... ok
[INFO] [stdout] test dbm::tests::dbm_can_fire ... ok
[INFO] [stdout] test dbm::tests::dbm_canonical_string ... ok
[INFO] [stdout] test dbm::tests::dbm_equality ... ok
[INFO] [stdout] test dbm::tests::dbm_canonicalize ... ok
[INFO] [stdout] test dbm::tests::dbm_equality_with_different_names ... ok
[INFO] [stdout] test dbm::tests::dbm_lower_bound_out_of_range ... ok
[INFO] [stdout] test dbm::tests::dbm_multiple_clocks_inter_constraints ... ok
[INFO] [stdout] test dbm::tests::dbm_new ... ok
[INFO] [stdout] test environment::tests::mode_constructors ... ok
[INFO] [stdout] test incidence_matrix::tests::simple_chain_matrix ... ok
[INFO] [stdout] test incidence_matrix::tests::transposed_dimensions ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_with_newly_enabled ... ok
[INFO] [stdout] test marking_state::tests::add_tokens_accumulates ... ok
[INFO] [stdout] test marking_state::tests::canonical_key_deterministic ... ok
[INFO] [stdout] test marking_state::tests::empty_marking ... ok
[INFO] [stdout] test marking_state::tests::equality ... ok
[INFO] [stdout] test marking_state::tests::inequality_different_count ... ok
[INFO] [stdout] test marking_state::tests::marking_state_basics ... ok
[INFO] [stdout] test marking_state::tests::zero_count_filtered ... ok
[INFO] [stdout] test net_flattener::tests::flatten_simple ... ok
[INFO] [stdout] test net_flattener::tests::flatten_xor_expands ... ok
[INFO] [stdout] test dbm::tests::dbm_let_time_pass ... ok
[INFO] [stdout] test p_invariant::tests::is_covered ... ok
[INFO] [stdout] test p_invariant::tests::no_output_transition_no_invariant ... ok
[INFO] [stdout] test property::tests::property_descriptions ... ok
[INFO] [stdout] test scc::tests::all_terminal_when_isolated ... ok
[INFO] [stdout] test scc::tests::empty_graph ... ok
[INFO] [stdout] test scc::tests::linear_chain ... ok
[INFO] [stdout] test scc::tests::multiple_sccs ... ok
[INFO] [stdout] test scc::tests::simple_cycle ... ok
[INFO] [stdout] test scc::tests::terminal_sccs ... ok
[INFO] [stdout] test state_class::tests::state_class_basic ... ok
[INFO] [stdout] test scc::tests::single_node ... ok
[INFO] [stdout] test p_invariant::tests::simple_chain_invariant ... ok
[INFO] [stdout] test p_invariant::tests::cycle_invariant ... ok
[INFO] [stdout] test state_class::tests::state_class_canonical_key ... ok
[INFO] [stdout] test state_class::tests::state_class_equality ... ok
[INFO] [stdout] test state_class_graph::tests::build_cycle ... ok
[INFO] [stdout] test state_class_graph::tests::build_env_always_available ... ok
[INFO] [stdout] test state_class_graph::tests::build_concurrent_transitions ... ok
[INFO] [stdout] test state_class_graph::tests::build_fork_net ... ok
[INFO] [stdout] test state_class_graph::tests::build_env_always_available_cycles ... ok
[INFO] [stdout] test state_class_graph::tests::build_with_timing_constraints ... ok
[INFO] [stdout] test state_class_graph::tests::predecessors_and_successors ... ok
[INFO] [stdout] test structural_check::tests::cycle_no_deadlock ... ok
[INFO] [stdout] test state_class_graph::tests::build_truncated ... ok
[INFO] [stdout] test state_class_graph::tests::build_inhibitor_net ... ok
[INFO] [stdout] test state_class_graph::tests::build_simple_chain ... ok
[INFO] [stdout] test state_class_graph::tests::branch_edges_for_xor ... ok
[INFO] [stdout] test state_class_graph::tests::build_xor_net ... ok
[INFO] [stdout] test state_class_graph::tests::build_no_enabled_transitions ... ok
[INFO] [stdout] test state_class_graph::tests::edge_count_matches_edges ... ok
[INFO] [stdout] test structural_check::tests::potential_deadlock_detected ... ok
[INFO] [stdout] test structural_check::tests::simple_chain_potential_deadlock ... ok
[INFO] [stdout] test analyzer::tests::builder_requires_goal_places - should panic ... ok
[INFO] [stdout] test state_class_graph::tests::enabled_transitions_returns_names ... ok
[INFO] [stderr]    Doc-tests libpetri_verification
[INFO] [stdout] test dbm::tests::dbm_inequality ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 79 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "a12b7aa18f6ac4f14f2dd196f897ff52df3557be2451414126c74b2c6dcd3ede", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a12b7aa18f6ac4f14f2dd196f897ff52df3557be2451414126c74b2c6dcd3ede", kill_on_drop: false }`
[INFO] [stdout] a12b7aa18f6ac4f14f2dd196f897ff52df3557be2451414126c74b2c6dcd3ede
